Abstract data type - PDFSEARCH.IO - Document Search Engine

Abstract data type
Results: 296

#	Item
131	Extracted from: Programming Ruby The Pragmatic Programmers’ Guide Second Edition Add to Reading List Source URL: media.pragprog.com Language: English - Date: 2007-10-31 17:37:53 Data types Abstract data types Functional programming Scripting languages Search algorithms Ruby Iterator List Array data type Computing Software engineering Computer programming
132	Dependent Type Providers David Raymond Christiansen IT University of Copenhagen [removed] Abstract Add to Reading List Source URL: itu.dk Language: English - Date: 2013-07-29 03:28:29 Computing Data types Functional languages Object-oriented programming Functional programming Type system Generalized algebraic data type Agda Dependent type Software engineering Type theory Programming language theory
133	Supercomputer Operating System & Program Development Environment The Compilers and MPI Library for SX-9 YOKOYA Yuji, KUDOH Yoshihiro, HAYASAKA Takeshi Jesper Larsson TRAEFF, Hubert RITZDORF, HAYASHI Yasuharu Abstract Add to Reading List Source URL: www.nec.com Language: English - Date: 2012-09-11 09:43:36 Parallel computing Application programming interfaces Compiler optimizations Message Passing Interface High Performance Fortran NEC SX-9 Fortran Array data type OpenMP Computing Computer programming Software engineering
134	I DRIS — Systems Programming Meets Full Dependent Types Edwin C. Brady School of Computer Science, University of St Andrews, St Andrews, Scotland. Email: [removed] Abstract Add to Reading List Source URL: eb.host.cs.st-andrews.ac.uk Language: English - Date: 2010-11-18 11:51:31 C++ Data types Functional programming Type theory Theoretical computer science ATS Polymorphism Pattern matching C++ classes Software engineering Computing Computer programming
135	Notes on the use of R for psychology experiments and questionnaires Jonathan Baron Department of Psychology, University of Pennsylvania Yuelin Li Department of Psychiatry & Behavioral Sciences Add to Reading List Source URL: www.psych.upenn.edu Language: English - Date: 2011-03-06 11:51:03 Abstract algebra Vector calculus Matrix Euclidean vector Vector space Array data type R Array programming Principal component analysis Algebra Mathematics Linear algebra
136	Data Type Based Security Alert Dialogs Max-Emanuel Maurer Abstract [removed] Add to Reading List Source URL: www.medien.ifi.lmu.de Language: English - Date: 2011-05-18 05:13:13 Spamming Graphical user interface elements System software Software Alert dialog box Website Internet privacy Transaction authentication number Password Social engineering Computer crimes Phishing
137	The camel has two humps (working title) Saeed Dehnadi and Richard Bornat School of Computing, Middlesex University, UK February 22, 2006 Abstract Learning to program is notoriously difficult. A substantial minority of st Add to Reading List Source URL: www.eis.mdx.ac.uk Language: English - Date: 2006-03-02 05:17:31 Procedural programming languages Type theory Data types Programming paradigms Richard Bornat ALGOL 68 Programming language Assignment C Software engineering Computing Computer programming
138	Practical Variable-Arity Polymorphism T. Stephen Strickland, Sam Tobin-Hochstadt, and Matthias Felleisen PLT @ Northeastern University Abstract. Just as some functions have uniform behavior over distinct types, other fun Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-01-16 15:37:27 Mathematics Data types Subroutines Universal algebra Lambda calculus Type inference Type system Variadic function Map Software engineering Type theory Computing
139	Type-Safe Observable Sharing in Haskell Andy Gill The University of Kansas September 3, 2009 Add to Reading List Source URL: www.ittc.ku.edu Language: English - Date: 2010-05-31 11:34:42 Mathematics Logic Binary arithmetic Exclusive or Propositional calculus Boolean data type Parity bit ALGOL 68 Boolean algebra Abstract algebra Computing
140	doi:[removed]j.entcs[removed] Add to Reading List Source URL: maude.sip.ucm.es Language: English - Date: 2005-07-25 06:30:34 Data types Abstract data types Maude system Functional languages Procedural programming languages Type theory Stack ATS ALGOL 68 Software engineering Computing Programming language theory

UPDATE